Todo conjunto recursivo es recursivamente enumerable, pero la recíproca es falsa.

Representación muy esquemática de un conjunto recursivo.

Toda demostración a partir de un conjunto recursivo de axiomas puede corroborarse en una cantidad finita de pasos.